Skip to content

Merge rule: docs-only PRs merge on local gates, no CI wait - #577

Merged
pftg merged 1 commit into
masterfrom
docs/merge-rule-docs-only
Aug 22, 2026
Merged

Merge rule: docs-only PRs merge on local gates, no CI wait#577
pftg merged 1 commit into
masterfrom
docs/merge-rule-docs-only

Conversation

@pftg

@pftg pftg commented Aug 22, 2026

Copy link
Copy Markdown
Member

One-line CLAUDE.md amendment recording Paul's 2026-08-22 correction (given on #575): docs/instruction/tooling-only PRs merge on local gates — don't wait for CI. Non-build scripts like bin/agent-bootstrap count; CI polling before merge is only for diffs that can alter the app build.

Docs-only, merging immediately per the rule it records.

🤖 Generated with Claude Code

Paul's correction on #575: local gates decide for diffs that cannot change
the built site (docs, instruction layer, non-build scripts like
bin/agent-bootstrap). CI polling before merge is only for app-build-relevant
diffs. One line added to the existing content-only-gates bullet.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@coderabbitai

coderabbitai Bot commented Aug 22, 2026

Copy link
Copy Markdown
Contributor

Important

  • 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: CHILL

Plan: Pro Plus

Run ID: 5612987e-ecc0-45e6-a994-211ce4c6b4d0


Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@pftg
pftg merged commit d6d2c37 into master Aug 22, 2026
@pftg
pftg deleted the docs/merge-rule-docs-only branch August 22, 2026 10:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant